Nuprl Definition : b2i 13,42
b2i(b) == if b then 1 else 0 fi  
latex

Upbool 1, bool 1
Wellformedness Lemmasb2i wf, b2i wf
Definitionsif b then t else f fi , #$n
FDL editor aliasesb2i

origin